Weak-Memory Local Reasoning
نویسندگان
چکیده
vii
منابع مشابه
A Proposal for Weak-Memory Local Reasoning
Program logics are formal systems for specifying and reasoning about software programs. Most program logics make the strong assumption that all threads agree on the value of shared memory at all times. This assumption can be unsound though for programs with races, like many concurrent data structures. Verification of these difficult programs must take into account the weaker models of memory pr...
متن کاملThe role of divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students
The purpose of the research is modeling the relationship between divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students. Statistical population of the research included all fourth grade male students of Primary schools in District 4 of Qom from which 213 students were randomly selecte...
متن کاملبررسی کنشهای شناختی دانشآموزان دارای لکنت
Objective Stuttering is one of the most common speech disorders that generate many complications in children and adults. This disorder involves behavioral, cognitive and emotional interactions. So, the purpose of the current study is to investigate the cognitive functions of students with stuttering. Materials & Methods A descriptive study, comprising of 30 students (8 females and 22 males) fr...
متن کاملA Rely-Guarantee Proof System for x86-TSO
Current multiprocessors provide weak or relaxed memory models. Existing program logics assume sequential consistency, and are therefore typically unsound for weak memory. We introduce a novel RelyGuarantee style proof system for reasoning about x86 assembly programs running against the weak x86-TSO memory model. Interesting features of the logic include processor assertions which can refer to t...
متن کاملPropranolol–induced Impairment of Contextual Fear Memory Reconsolidation in Rats: A Similar Effect on Weak and Strong Recent and Remote Memories
Introduction: Previous studies have demonstrated that the &beta-adrenergic receptor antagonist propranolol impairs fear memory reconsolidation in experimental animals. There are experimental parameters such as the age and the strength of memory that can interact with pharmacological manipulations of memory reconsolidation. In this study, we investigated the ability of the age and the strength o...
متن کامل